derivation of integration formulas